package interfaces;

import impl.util.UtilityAssertion;

import java.util.Collection;

public interface UBoxInterface {

	public void clear();

	public void addUtilityAssertion(UtilityAssertion uAssertion);

	public void removeUtilityAssertion(UtilityAssertion uAssertion);

	public void removeUtilityAssertions(Collection<UtilityAssertion> uAssertion);

	public Collection<UtilityAssertion> getUtilityAssertions();

	public void addUBoxChangeListener(UBoxChangeListenerInterface l);

	public void removeUBoxChangeListener(UBoxChangeListenerInterface l);

	void editUtilityAssertion(UtilityAssertion oldUtilityAssertion, UtilityAssertion newUtilityAssertion);

}
